tense logic language
[计] 时态逻辑语言
热门查询
- twinkle n. 闪烁 vt. 使闪耀；闪耀 vi. 闪烁；发亮
- transfuse vt. 输血；灌输；注入
- cheater n. 骗子；背叛者；眼镜
- neurophysiological 神经生理学的
- martini n. 马提尼（一种鸡尾酒，等于Martini） n. (Martini)人名；(英)马蒂尼；(德、法、俄、西、意、塞、罗、葡、瑞典)马丁尼
- braless adj. 不戴胸罩的
- porpoise n. 海豚；鼠海豚
- sx abbr. sacks （复数）包; 袋; section 部分; simplex 单工的
- shithouse n. [美国俚语]；茅房，厕所
- Andromeda n. [天] 仙女座；安德洛墨达（希腊神话中的埃塞俄比亚公主）
- metacognition n. 元认知；后设认知
- Bretton [人名] [英格兰人姓氏] 布雷顿 Brett的变体; [人名] [英格兰人姓氏] 布雷顿名称，来源于古英语，含义是“新垦地+圈用地，居留地”(broken land+enclosure,settlement)，或“布列塔尼人的居留地”(settlement of Bretons)
- interlude n. 插曲；穿插；幕间节目；[数] 插算 vt. 使中断 vi. 插入
- Medvedev n. 梅德韦杰夫（俄罗斯总统）
- Quintin [男子名] 昆廷来源于拉丁语，含义是“（排行）第五”(the fifth); [地名] [法国] 坎坦
- jalapeno n. 墨西哥胡椒
- theorize vt. 建立理论 vi. 建立理论或学说；推理
- discriminative adj. 区别的，歧视的；有识别力的
- Ibc 离子束镀
- SAA [计] 系统应用体系结构
